dual-rail logic